9.78/13.19	unsat
