48.74/51.99	unsat
