18.65/21.47	unsat
