42.82/43.45	unsat
