6.77/8.79	unsat
