38.84/42.52	unsat
