11.85/14.69	unsat
