19.65/20.65	unsat
