49.09/51.99	unsat
