6.62/9.56	unsat
