39.02/40.48	unsat
