13.30/13.88	unsat
