6.28/8.12	unsat
