290.83/292.17	unsat
