39.93/40.02	unsat
