38.81/40.66	unsat
