6.27/7.30	unsat
