12.17/13.64	unsat
