6.65/12.19	unsat
