42.35/42.52	unsat
