50.31/50.48	unsat
