0.63/0.70	unsat
