4.18/6.70	unsat
