42.61/42.70	unsat
