12.59/13.64	unsat
