50.56/51.54	unsat
