6.21/8.30	unsat
