5.68/8.73	unsat
