6.19/8.21	unsat
