5.88/8.73	unsat
