5.22/7.84	unsat
