6.36/6.84	unsat
