13.78/16.69	unsat
