6.19/9.28	unsat
