38.74/39.48	unsat
