42.70/42.83	unsat
