38.73/42.23	unsat
