51.56/51.77	unsat
