42.40/42.67	unsat
