38.16/42.12	unsat
