42.57/42.93	unsat
