11.12/14.87	unsat
