5.97/7.84	unsat
