6.17/6.21	unsat
