6.26/7.83	unsat
