39.61/40.42	unsat
