39.93/40.09	unsat
