42.47/42.61	unsat
