4.88/7.83	unsat
