49.11/51.08	unsat
