12.44/13.69	unsat
