4.27/7.84	unsat
