17.39/19.01	unsat
