292.58/292.61	unsat
