49.14/51.47	unsat
