38.16/39.48	unsat
