4.68/5.83	unsat
