12.97/14.64	unsat
