42.74/42.86	unsat
