4.71/5.83	unsat
