4.81/6.84	unsat
