4.68/6.99	unsat
