6.78/11.19	unsat
