42.30/42.93	unsat
