4.89/7.83	unsat
