13.65/16.98	unsat
