4.78/6.99	unsat
