12.27/13.64	unsat
