6.27/8.30	unsat
