6.77/8.63	unsat
