5.23/6.83	unsat
