6.28/8.79	unsat
