3.54/6.84	unsat
