38.02/40.66	unsat
