50.88/69.46	unsat
