0.39/0.70	unsat
