12.65/15.63	unsat
