13.65/16.48	unsat
