13.48/13.64	unsat
