50.43/51.24	unsat
