13.22/13.88	unsat
