39.07/40.86	unsat
