46.62/49.78	unsat
