6.09/7.19	unsat
