13.65/15.85	unsat
