39.93/42.09	unsat
