0.43/0.70	unsat
