6.48/8.73	unsat
