4.69/7.84	unsat
