6.78/10.19	unsat
