6.19/8.23	unsat
