4.99/6.70	unsat
