38.79/42.17	unsat
