50.33/51.48	unsat
