0.29/0.70	unsat
